$\oplus$($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$A$,$B$. $A$ $\oplus$ $B$;;$L$)